• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۳۵ پاسخ غیر تکراری از ۳۵ پاسخ تکراری در مدت زمان ۱,۱۱ ثانیه یافت شد.

21. Mathematics of program construction : Second International Conference, Oxford, U.K., June/ July 1992 : processing

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics

Classification :
QA
76
.
L28
Vol
.
669

22. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics

Classification :
QA
76
.
L4
v
.
669

23. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses

Classification :
QA
76
.
6
.
M367
1992

24. Mathematics of program construction : 375th Anniversary of the Groningen University : International Conference, Groningen, the Netherlands, June 26-30, 1989 : Proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: J.L.A. van de Snepscheut )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics

Classification :
QA
76
.
L28
Vol
.
375

25. Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Eerke A. Boiten, Bernhard Moller )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics

Classification :
QA
76
.
L28
Vol
.
2386

26. Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Johan Jeuring, )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics

Classification :
QA
76
.
L28
Vol
.
1422

27. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Roland Backhouse, Jose Nuno Oliveira )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics

Classification :
QA
76
.
L28
Vol
.
1837

28. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Dexter Kozen )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics

Classification :
QA
76
.
L28
Vol
.
3125

29. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses

Classification :
QA
76
.
6
.
M366
1989

30. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Dexter Kozen, editor

Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Computer science - Mathematics

Classification :
QA
76
.
6
.
I5535
2004

31. Semantics and algebraic specificatio

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Jens Palsberg (ed.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses

Classification :
QA
,
76
.
7
,.
S435
,
2009

32. Semantics and algebraic specification

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A

Classification :

33. Symbolic computation : applications to scientific computing

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Robert Grossman

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(

Classification :
TA
331
.
S95
1989

34. Theoretical aspects of computing -- ICTAC 2013 :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programming, Congresses,Computer science-- Mathematics, Congresses

Classification :
QA76
.
9
.
M35

35. foundation Mathematics for computer science: a visual approach

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: john vince

Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)

Subject: Sematics Congresses ، Programming languages )Electronic computers(,Mathematics Congresses ، Computer science

Classification :
QA
76
.
7
.
V46
F69
  • »
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival